Short Division of Long Integers (joint work with David Harvey) Paul Zimmermann October 6, 2011

Source URL: caramba.loria.fr

• Mathematics
• Computer arithmetic
• Software
• Algebra
• Paul Zimmermann
• Division algorithm
• GNU Multiple Precision Arithmetic Library
• GNU MPFR
• Rounding
• Division
• Integer
• Remainder

CGB: Computing Comprehensive Gr¨obner Bases Andreas Dolzmann & Thomas Sturm Department of Mathematics and Computer Science University of Passau DPassau, Germany e-mail: ,

Source URL: www.reduce-algebra.com

JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond

Source URL: www.lri.fr

• Computer algebra
• Computer arithmetic
• Algebra
• Numerical analysis
• Polynomials
• Interval arithmetic
• Automatic differentiation
• Floating point
• Polynomial
• Remainder
• Symbolic computation
• Interval

THE COMPLEXITY OF SATISFACTION PROBLEMS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Satisfiability problems play a central role in computer science and engineering as a general framework for studying the complexity of

Source URL: ludovicpatey.com

• Automated theorem proving
• Logic programming
• Logic in computer science
• Boolean algebra
• Model theory
• Substitution
• Boolean satisfiability problem
• Interpretation
• Relationships among probability distributions
• Lifting theory

Basic GAMS Modeling An Introductory Class Frisco Colorado, Aug 8-Aug 10, 2016 This is an offering of a Basic GAMS class followed immediately by an advanced class. This will be a three day Basic GAMS class designed for th

Source URL: www.gams.com

• Gams
• Computable general equilibrium
• Object Process Methodology
• Economy
• Business
• Computer algebra systems
• Engineering
• Mathematical modeling
• General Algebraic Modeling System

Ramsey-type graph coloring and diagonal non-computability Ludovic Patey Abstract A function is diagonally non-computable (d.n.c.) if it diagonalizes against the universal partial computable function. D.n.c. functions pla

Source URL: ludovicpatey.com

• Computability theory
• Theory of computation
• Mathematics
• Theoretical computer science
• Mathematical analysis
• Computable function
• Sigma-algebra
• Generalised Whitehead product

A Modern Online Linear Algebra Textbook Rob Beezer Department of Mathematics and Computer Science University of Puget Sound

Source URL: buzzard.ups.edu

Non-Parametric Discrete Mixture Model Recovery via Nonnegative Matrix Factorization Stefan Karpinski, John R. Gilbert, Elizabeth M. Belding Department of Computer Science University of California, Santa Barbara {sgk,gilb

Source URL: karpinski.org

• Algebra
• Mathematics
• Matrix theory
• Linear algebra
• Multivariate statistics
• Non-negative matrix factorization
• KullbackLeibler divergence
• Probability distribution
• Singular value decomposition
• Mixture model
• Euclidean algorithm
• Matrix decomposition

CS 677: Homework Assignment 1 Due: February 12, 6:15pm Philippos Mordohai Department of Computer Science Stevens Institute of Technology

Source URL: www.cs.stevens.edu

• Parallel computing
• Computing
• Mathematics
• Computer programming
• Numerical linear algebra
• Thread block
• Matrix
• Thread
• Kernel

Mathematics: Algorithms and Proofs 8-12 January 2007 Aim The goal of the workshop was to bring together people from the communities of formal proofs, constructive mathematics and computer algebra (in a wide sense). It is

Source URL: www.cs.ru.nl